PTMPicker: Facilitating Efficient Pretrained Model Selection for Application Developers
arxiv.org·12h
🌀Brotli Dictionary
Functional Programming HOWTO
docs.python.org·19h·
Discuss: Lobsters
🔗Lisp
AI Agentic Programming: A Survey of Techniques, Challenges, and Opportunities
blog.raymond.burkholder.net·12h
⚡Incremental Computation
MCP Tools and Dependent Types
vlaaad.github.io·6h·
Discuss: Hacker News
💧Liquid Types
Code Smell 308 - The Key to Safer, Cleaner, More Polymorphic Code
hackernoon.com·12h
🎯Gradual Typing
electric-sql/pglite: Embeddable Postgres with real-time, reactive bindings.
github.com·10h
🗄️PostgreSQL WAL
Automated Test Case Prioritization with Dynamic Feature Interaction Graph Optimization
dev.to·8h·
Discuss: DEV
🔍Concolic Testing
AI's hidden state in the execution stack
ayende.com·4h
🎯Gradual Typing
The 4 Pillars of Successful LLMOps
thenewstack.io·2h
💻Local LLMs
Are We Teaching Rust Effectively?
blog.kodewerx.org·1d·
Discuss: Hacker News
🦀Rust Borrowing
Fresh Eyes as a Service: Using LLMs to Test CLI Ergonomics
recursion.wtf·1h·
Discuss: Hacker News
📟CLI Design
Balancing Coupling in Software Design • Vlad Khononov & Sheen Brisals
youtube.com·3d
⚡Effectful Programming
First exclusive feature for open ESP32 Wi-Fi stack: standards-compliant meshing
esp32-open-mac.be·1h·
Discuss: Hacker News
🕸️Mesh Networking
Dyna – Logic Programming for Machine Learning
dyna.org·1d·
Discuss: Lobsters, Hacker News, r/compsci
🔗Constraint Handling
Hallucination in LLM-Based Code Generation: An Automotive Case Study
arxiv.org·12h
💻Programming languages
From Monolith to Cloud: Automating Your Migration Journey
blog.qaware.de·9h·
Discuss: Hacker News
🔄Migration Tools
Modelling Exactly-Once Delivery Using TLA+
medium.com·13h·
Discuss: Hacker News
⚙️TLA+
Overview of Complex System Design
arxiv.org·12h
🕹Emulation Theory
GPT-5 goes hard on real-world programming
omerba.dev·3h·
Discuss: Lobsters
✅Format Verification
OneUptime – open-source observability platform
github.com·1h·
Discuss: Hacker News
🌊Streaming Systems